Computer and Modernization ›› 2012, Vol. 1 ›› Issue (200): 82-04.doi: 10. 3969/j. issn. 1006-2475.2012.04.022
• 应用与开发 • Previous Articles Next Articles
LIU Gang, HU Kai-ping, SONG Fa-xing
Received:
Revised:
Online:
Published:
Abstract: Analysis of pointer programs has already become a hotspot research in the field of programming languages. This paper takes an approach to the problem by doing shape analysis, which uses a shape graph to express points-to and equivalence relations among pointers in a program, and uses a shape graph logic to infer programs. The shape graph logic is an extension to Hoare logic by regarding shape graphs as assertions about pointers directly. First, this paper describes the proposed shape graph and shape graph logic. Then based on the shape graph logic, it designs a method for shape analysis on pointer programs.
Key words: shape graph, shape graph logic, Hoare logic, shape analysis, program analysis
LIU Gang;HU Kai-ping;SONG Fa-xing. An Approach for Analysis of Pointer Programs[J]. Computer and Modernization, 2012, 1(200): 82-04.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.c-a-m.org.cn/EN/10. 3969/j. issn. 1006-2475.2012.04.022
http://www.c-a-m.org.cn/EN/Y2012/V1/I200/82
An Efficient API Search Algorithm